Unlocking Blocked Communicating Processes
نویسندگان
چکیده
We study the problem of disentangling locked processes via code refactoring. We identify and characterise a class of processes that is not lock-free; then we formalise an algorithm that statically detects potential locks and propose refactoring procedures that disentangle detected locks. Our development is cast within a simple setting of a finite linear CCS variant — although it suffices to illustrate the main concepts, we also discuss how our work extends to other language extensions.
منابع مشابه
Human Stigmergy in Augmented Environments
The potential of human computation may be stymied by a curious phenomenon that as the size of a group of collaborators increases, the efficiency of the group typically decreases. The study described in this paper tests our hypothesis that communication mechanisms are key to unlocking collaborative potential. In particular, we sought to evaluate whether a group taking on a complex task can incre...
متن کاملComplications Associated with Surgical Treatment of Hydrocephalus
Excessive accumulation of cerebrospinal fluid (CSF) in the brain is a condition known as hydrocephalus. It may cause a life-threatening increase in intracranial pressure (ICP). Nonsurgical treatment of hydrocephalus includes continuous CSF drainage, repetitive lumbar punctures (Lim et al., 2009), or osmotic diuretics such as mannitol or glycerol, but their effects are transient and limited. Sur...
متن کاملPlasticity of circle of Willis: a longitudinal observation of flow patterns in the circle of Willis one week after stenting for severe internal carotid artery stenosis.
BACKGROUND AND PURPOSE The purpose of the present study was to assess whether the direction of flow via the circle of Willis (CoW) changed after stenting for severe internal carotid artery (ICA) stenosis. METHODS 65 patients (38 men, mean age 63.2 +/- 8.4 years, range 44-82) with a symptomatic ICA occlusion were investigated. Magnetic resonance angiography was performed prior to and 1 week af...
متن کاملUnlocking of predicate: application to non-anticipating selections
We consider an approach to constructing a non-anticipating selection of a multivalued mapping; such a problem arises in control theory under conditions of uncertainty. The approach is called “unlocking of predicate” and consists in the reduction of finding the truth set of a predicate to searching fixed points of some mappings. Unlocking of predicate gives an extra opportunity to analyze the tr...
متن کاملCommunicating Concurrent Processes
Process algebra CSP only permits a process to engage in one event on a moment and records this single event into the traces of the process. CSP cannot process events simultaneously, it treat the events occurred simultaneously as one single event. We modify CSP to process the events occurred simultaneously, which is called communicating concurrent processes (CCP).
متن کامل